\section{protocol}

A client $C$ makes a request $R$ to the server operator $O$, where 
$R = Sign(K_{Client_{pub}}, \langle f() || H(x) || l_{out} || t || m || K_{Client_{pub}} \rangle)$. 
Here, $f()$ is the function that $C$ wants to be computed for 
input $x$. $H(x)$ represents a cryptographic hash of the input $x$.
$l_{out}$ is the maximum length of the output $y = f(x)$. $t$ is the 
maximum time required to compute $y = f(x)$. $m$ is the amount of money that
$C$ proposes to pay $O$ for this computation. $K_{client_{pub}}$ is the 
public part of a public-private keypair that the client has created for this transaction. 



This is the main section

A plain english description

one diagram of the actual exchange

one table describing symbols

3 phases of the protocol

fairness argument

